perm filename BROWN[NOT,DBL] blob
sn#199357 filedate 1976-02-03 generic text, type C, neo UTF8
COMMENT ⊗ VALID 00003 PAGES
C REC PAGE DESCRIPTION
C00001 00001
C00002 00002 .DEVICE XGP
C00005 00003 .LTR(Dr. John S. Brown)
C00008 ENDMK
C⊗;
.DEVICE XGP
.page frame 50 high 80 wide
.title area heading lines 1 to 3
.area text lines 4 to 50
.FONT 1 "BASL30"; FONT 2 "BASI30"; FONT 3 "BASB30"; FONT 5 "NGB25"
.FONT 6 "STA200.FNT[XGP,SYS]"
.TURN ON "%{α"
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.AT "ffi" ⊂ IF THISFONT ≤ 3 THEN "≠" ELSE "fαfαi" ⊃;
.AT "ffl" ⊂ IF THISFONT ≤ 3 THEN "α∞" ELSE "fαfαl" ⊃;
.AT "ff" ⊂ IF THISFONT ≤ 3 THEN "≥" ELSE "fαf" ⊃;
.AT "fi" ⊂ IF THISFONT ≤ 3 THEN "α≡" ELSE "fαi" ⊃;
.AT "fl" ⊂ IF THISFONT ≤ 3 THEN "∨" ELSE "fαl" ⊃;
.MACRO FAC ⊂FILL ADJUST COMPACT ⊃
.MACRO FAD ⊂FILL ADJUST COMPACT DOUBLE SPACE; PREFACE 2 ⊃
.MACRO LTR(name,dat) ⊂
.place HEADING
.nofill
.BEGIN
.TURN ON "-←→∂↑↓&[]";
%6S%5 Artificial Intelligence Laboratory, STANFORD UNIVERSITY, Stanford, California 94305
.end
.PLACE TEXT;
.SELECT 5; if length ("dat") > 2 then date←"dat";
.once turn on "→"
%5Telephone 415-497-1391→{date}
or 415-497-4971
.SKIP 3; SELECT 1
name
.EVERY HEADING("%3NAME, {date}",,Page {Page})
.⊃
.MACRO AIADDRESS ⊂GROUP BEGIN SKIP 1; NOFILL
Douglas B. Lenat
Artificial Intelligence Laboratory
Stanford University
Stanford, California 94305
.END APART ⊃
.MACRO DBL ⊂ GROUP BEGIN SKIP 3; NOFILL CENTER
Sincerely,
.SKIP 6
Doug Lenat
.END APART ⊃
.portion main
.page←1
.LTR(Dr. John S. Brown)
BBN
50 Moulton St.
Cambridge, Mass.
.FAC
Dear Dr. Brown,
I'm a fourth-year graduate student in Stanford's Computer Science department,
and expect to receive my Ph.D. this summer.
My thesis deals with
how one might explain -- and automate --
the formation of new mathematical theories.
I've programmed a system which can propose promising
new mathematical concepts, which aims at
expertise in formulating definitions
of concepts which might be worth investigating. It's more
a
theorem %2proposer%*,
than a theorem %2prover%*.
A short description of the project is enclosed.
My thesis committee consists of Ed Feigenbaum, Cordell Green,
Bruce Buchanan, and Don Knuth.
Bill Clancey mentioned to me that your group is interested in the same kinds
of issues as I am. Perhaps we could meet and discuss our research.
I'll be on the East coast from Feb. 16-23
(speaking at Carnegie Mellon University,
and then visiting my family in Philadelphia).
If you wish to respond
over the ARPA-NET, my mailbox is DBL@SU-AI.
.DBL